Reasoning about the Composition of Heterogeneous Architectures
نویسندگان
چکیده
Ahmed Abd-Allah, Barry Boehm ([email protected], [email protected]) USC Center for Software Engineering Computer Science Department University of Southern California Los Angeles, CA 90089-0781 Abstract: A persistent problem in software engineering is how to put software systems together out of smaller subsystems: the problem of software composition. The emergence of software architectures and architectural styles has focused attention on a new set of abstractions with which we can create and compose software systems. We examine the problem of providing a model for the composition of different architectural styles within software systems, i.e. the problem of composing heterogeneous architectures. We describe a model of pure styles and of their composition. We provide a disciplined approach to the process of architectural composition, and techniques for using the approach to determine architectural constraints and the conditions under which systems will fail to be composed.
منابع مشابه
Cost-Efficient Web Service compositions for querying processes over reasoning services
In the near future, description logic reasoning services will be offered as web services and initial versions of, for instance, OWL QL web services have already been developed (e.g., [1]). Due to the high acceptance of web service technologies to support processes across heterogeneous architectures, the amount of web service offering similar functionality is proliferating. Thus, the problem of ...
متن کاملModels for Composing Heterogeneous Software Architectures
A persistent problem in software engineering is the problem of software composition. The emergence of software architectures and architectural styles has focused attention on a new set of abstractions with which we can create and compose software systems. We examine the problem of providing a model for the composition of different architectural styles within software systems, i.e. the problem o...
متن کاملArchitectures for Heterogeneous Reasoning on Interlinguu
The design of any computer system with a multimedia interface involves the designer in fundamental theoretical questions concerning the manipulation of information expressed in a variety of forms. Furthermore, if the system is to be intelligent then it must reason with and about the information that it represents. We use the term heterogeneous reasoning to refer to this task of reasoning with i...
متن کاملCapabilities in Heterogeneous Multi Robot Systems
Robotic systems are desirable in many applications, particularly when the aim is to reduce human presence, for example in dangerous scenarios such as search and rescue missions. Such domains are typically dynamic and highly unpredictable, actions of robots are nondeterministic and limited bandwidth and communication failures further add to the hostility of the environment. Accurate predictions ...
متن کاملQualitative Constraint Calculi: Heterogeneous Verification of Composition Tables
In the domain of qualitative constraint reasoning, a subfield of AI which has evolved in the past 25 years, a large number of calculi for efficient reasoning about spatial and temporal entities has been developed. Reasoning techniques developed for these constraint calculi typically rely on so-called composition tables of the calculus at hand, which allow for replacing semantic reasoning by sym...
متن کامل